Details

Time bar (total: 1.2m)

sample70.0ms

Algorithm
intervals
Results
44.0ms261×body80valid

simplify225.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.5b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite278.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
141.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
59.0ms
(* (+ (* (+ y a) y) b) y)
56.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
20.0ms
(* (+ (* x y) z) y)

series617.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
455.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
78.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
44.0ms
(* (+ (* (+ y a) y) b) y)
41.0ms
(* (+ (* x y) z) y)

simplify15.1s

Counts
74 → 107
Calls
74 calls:
Slowest
904.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) 1)
780.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
708.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
658.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
568.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)) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

prune2.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 27.6b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite447.0ms

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

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
592.0ms
(/ (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
297.0ms
(cbrt y)
292.0ms
(cbrt y)
280.0ms
(cbrt y)

simplify9.8s

Counts
50 → 80
Calls
50 calls:
Slowest
610.0ms
(/ (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
559.0ms
(/ (* (* (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt 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)))
474.0ms
(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
432.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
408.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune1.8s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 27.6b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite342.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
322.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
7.0ms
(cbrt (+ (* (+ y a) y) b))
6.0ms
(cbrt (+ (* (+ y a) y) b))
6.0ms
(cbrt (+ (* (+ y a) y) b))

series973.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
486.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
176.0ms
(cbrt (+ (* (+ y a) y) b))
156.0ms
(cbrt (+ (* (+ y a) y) b))
154.0ms
(cbrt (+ (* (+ y a) y) b))

simplify12.6s

Counts
56 → 86
Calls
56 calls:
Slowest
738.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)) (* (* (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)))
716.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
688.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
521.0ms
(/ (sqrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) 1)
497.0ms
(cbrt (+ (pow (* (+ y a) y) 3) (pow b 3)))

prune2.0s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 27.6b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite917.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
873.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
13.0ms
(cbrt (+ (* (+ y a) y) b))
13.0ms
(cbrt (+ (* (+ y a) y) b))
13.0ms
(cbrt (+ (* (+ y a) y) b))

series828.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
422.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
142.0ms
(cbrt (+ (* (+ y a) y) b))
134.0ms
(cbrt (+ (* (+ y a) y) b))
129.0ms
(cbrt (+ (* (+ y a) y) b))

simplify14.9s

Counts
56 → 86
Calls
56 calls:
Slowest
821.0ms
(cbrt (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
808.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
749.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
648.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)) (* (* (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)))
532.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) 1)

prune2.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 27.6b

regimes1.9s

Accuracy

0% (0.8b remaining)

Error of 28.5b against oracle of 27.8b and baseline of 28.5b

bsearch13.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.6s8233×body80valid