Details

Time bar (total: 1.7m)

sample82.0ms

Algorithm
intervals
Results
55.0ms413×body80valid

simplify163.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
163.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (* x y) (* z t)) (* a b))
0.0b
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
16×add-log-exp
9×sum-log
6×fma-def
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Counts
2 → 39
Calls
2 calls:
Slowest
97.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
38.0ms
(+ (+ (* x y) (* z t)) (* a b))

series351.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
288.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
63.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify1.6s

Counts
17 → 45
Calls
17 calls:
Slowest
448.0ms
(* (exp (+ (* x y) (* z t))) (exp (* a b)))
330.0ms
(* (* (* (exp (* x y)) (exp (* z t))) (exp (* a b))) (exp (* c i)))
210.0ms
(* (* (exp (+ (* x y) (* z t))) (exp (* a b))) (exp (* c i)))
166.0ms
(* (* (exp (* x y)) (exp (* z t))) (exp (* a b)))
133.0ms
(* (exp (+ (+ (* x y) (* z t)) (* a b))) (exp (* c i)))

prune621.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.1b
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.1b
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
0.0b
(+ (+ (* x y) (* z t)) (* a b))

rewrite807.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
15×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
9×flip3-+ flip-+ add-log-exp
8×swap-sqr
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log
5×pow-prod-up
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u unswap-sqr
3×sum-log fma-def pow-prod-down pow-sqr
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 +-commutative associate-+l+ rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 115
Calls
4 calls:
Slowest
541.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
127.0ms
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
106.0ms
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
30.0ms
(+ (+ (* x y) (* z t)) (* a b))

series10.2s

Counts
4 → 12
Calls
4 calls:
Slowest
4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
281.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
71.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify13.1s

Counts
104 → 127
Calls
104 calls:
Slowest
444.0ms
(* (exp (+ (* x y) (* z t))) (exp (* a b)))
414.0ms
(* (sqrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (- (* (* c i) (* c i)) (* (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
334.0ms
(* (sqrt (+ (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (- (* (* c i) (* c i)) (* (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
331.0ms
(* (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))) (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))))
328.0ms
(* (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))) (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))

prune2.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.3b
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.3b
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
0.2b
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

rewrite3.3s

Algorithm
rewrite-expression-head
Rules
222×sqrt-div
168×cbrt-div
136×frac-times
111×flip3-+ flip-+
68×associate-*l/
26×associate-*r/
18×cbrt-prod
15×pow1 pow1/3
13×add-exp-log add-cube-cbrt
12×add-sqr-sqrt *-un-lft-identity sqrt-prod
9×add-cbrt-cube
8×pow-prod-up
6×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-plus pow-sqr
1×swap-sqr associate-*l* *-commutative
Counts
4 → 169
Calls
4 calls:
Slowest
2.6s
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
454.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
99.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
85.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

series830.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
329.0ms
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
192.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
157.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
151.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

simplify57.3s

Counts
192 → 181
Calls
192 calls:
Slowest
726.0ms
(* (* (* (cbrt (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)))) (cbrt (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))) (cbrt (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
694.0ms
(* (* (cbrt (sqrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (- (* (* c i) (* c i)) (* (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
523.0ms
(* (* (* (cbrt (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))) (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))))
521.0ms
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))))) (cbrt (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))))) (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))
508.0ms
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3))))) (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))

prune4.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch2.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.8s13637×body80valid