Details

Time bar (total: 1.7m)

sample113.0ms

Algorithm
intervals
Results
70.0ms261×body80valid

simplify246.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.2b

localize79.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube add-exp-log
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*l/
5×flip3-+ flip-+
4×insert-posit16 add-log-exp
3×associate-/r* pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 95
Calls
4 calls:
Slowest
182.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
102.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
78.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
34.0ms
(* (+ (* (+ y a) y) b) y)

series694.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
449.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
110.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
69.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
66.0ms
(* (+ (* (+ y a) y) b) y)

simplify17.5s

Counts
74 → 107
Calls
74 calls:
Slowest
758.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
717.0ms
(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)
694.0ms
(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
684.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
666.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))

prune2.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 25.6b

localize58.0ms

Local error

Found 4 expressions with local error:

26.3b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.1b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

rewrite498.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
24×add-cube-cbrt
21×associate-*r* add-exp-log
20×times-frac
15×add-cbrt-cube
11×pow1
9×associate-*l*
6×flip3-+ associate-*l/ prod-exp flip-+
5×unswap-sqr
4×div-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* pow-prod-down *-commutative associate-/l*
2×frac-times cbrt-undiv rec-exp 1-exp div-inv
1×clear-num frac-2neg associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 119
Calls
4 calls:
Slowest
289.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
77.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
70.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
60.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series701.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
461.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
106.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
72.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
62.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify25.8s

Counts
101 → 131
Calls
101 calls:
Slowest
807.0ms
(* (* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (/ (* (* 1 1) 1) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
788.0ms
(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
733.0ms
(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)
668.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
666.0ms
(/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

prune2.7s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 25.6b

localize111.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
17.5b
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
17.5b
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
17.5b
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

rewrite613.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×cbrt-prod times-frac
6×cbrt-div add-cbrt-cube add-exp-log
5×flip3-+ flip-+
4×pow1 insert-posit16 add-log-exp
3×associate-/r* pow1/3 associate-/l*
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 74
Calls
4 calls:
Slowest
557.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
18.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
18.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
18.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
443.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
224.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
217.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
211.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

simplify14.6s

Counts
56 → 86
Calls
56 calls:
Slowest
671.0ms
(- (* (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y)) (* t t))
635.0ms
(+ (pow (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) 3) (pow t 3))
608.0ms
(/ (* (* (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t)) (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t)) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
556.0ms
(cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))
540.0ms
(cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))

prune2.5s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 25.6b

localize86.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
17.5b
(cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))))
17.5b
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
17.5b
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
84×cbrt-div
31×flip3-+ flip-+
28×frac-times
14×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
9×times-frac
8×associate-*r/
7×cbrt-prod
6×add-cbrt-cube add-exp-log
4×pow1 insert-posit16 add-log-exp
3×associate-/r* pow1/3 associate-/l*
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp pow3 rem-cbrt-cube div-inv
Counts
4 → 97
Calls
4 calls:
Slowest
1.5s
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
132.0ms
(cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))))
11.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
9.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
482.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
263.0ms
(cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))))
246.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
232.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

simplify22.4s

Counts
79 → 109
Calls
79 calls:
Slowest
880.0ms
(cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))
711.0ms
(+ (pow (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) 3) (pow t 3))
627.0ms
(cbrt (* (* (cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))))
597.0ms
(cbrt (* (* (cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3))) (cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))))
538.0ms
(cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))

prune2.8s

Pruning

15 alts after pruning (12 fresh and 3 done)

Merged error: 25.6b

regimes2.0s

Accuracy

0% (0.8b remaining)

Error of 28.3b against oracle of 27.5b and baseline of 28.3b

bsearch9.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.6s8244×body80valid