Details

Time bar (total: 1.5m)

sample81.0ms

Algorithm
intervals
Results
54.0ms413×body80valid

simplify85.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.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))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
16×add-log-exp
9×sum-log
2×add-sqr-sqrt pow1 +-commutative associate-+l+ *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
2 → 29
Calls
2 calls:
Slowest
115.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
27.0ms
(+ (+ (* x y) (* z t)) (* a b))

series367.0ms

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

simplify2.1s

Counts
13 → 35
Calls
13 calls:
Slowest
598.0ms
(* (exp (+ (+ (* x y) (* z t)) (* a b))) (exp (* c i)))
484.0ms
(* (exp (+ (* x y) (* z t))) (exp (* a b)))
423.0ms
(* (* (* (exp (* x y)) (exp (* z t))) (exp (* a b))) (exp (* c i)))
237.0ms
(* (* (exp (+ (* x y) (* z t))) (exp (* a b))) (exp (* c i)))
168.0ms
(* (* (exp (* x y)) (exp (* z t))) (exp (* a b)))

prune457.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize44.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))

rewrite779.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
14×*-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×frac-times insert-posit16 unswap-sqr
3×sum-log 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 → 104
Calls
4 calls:
Slowest
501.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
133.0ms
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
109.0ms
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
36.0ms
(+ (+ (* x y) (* z t)) (* a b))

series11.1s

Counts
4 → 12
Calls
4 calls:
Slowest
5.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.0s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
326.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
91.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify10.3s

Counts
102 → 116
Calls
102 calls:
Slowest
520.0ms
(* (exp (+ (* x y) (* z t))) (exp (* a b)))
386.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))))
331.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)))))
316.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))))))
314.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))))

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize84.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
(* (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))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
222×sqrt-div
168×cbrt-div
136×frac-times
111×flip3-+ flip-+
50×associate-*r/
44×associate-*l/
18×cbrt-prod
15×pow1
13×add-exp-log add-cube-cbrt
12×add-sqr-sqrt *-un-lft-identity sqrt-prod
9×add-cbrt-cube pow1/3
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
5×pow-prod-up
4×insert-posit16 add-log-exp
1×swap-sqr associate-*r* pow-sqr *-commutative
Counts
4 → 159
Calls
4 calls:
Slowest
2.2s
(* (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))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
76.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
75.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
70.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

series813.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
349.0ms
(* (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))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
183.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
149.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
132.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

simplify52.4s

Counts
189 → 171
Calls
189 calls:
Slowest
894.0ms
(* (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)) (* c i))))) (cbrt (sqrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))))))
632.0ms
(* (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)))) (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)) (* c i))))))
614.0ms
(* (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))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
576.0ms
(* (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)))) (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)))))))
518.0ms
(* (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)))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))

prune3.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.2s13637×body80valid