Details

Time bar (total: 1.4m)

sample111.0ms

Algorithm
intervals
Results
66.0ms267×body80valid

simplify229.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize74.0ms

Local error

Found 4 expressions with local error:

27.9b
(/ (+ (* (+ (* (+ (* (+ (* 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
(* (+ (* x y) z) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite272.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
142.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
60.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
40.0ms
(* (+ (* (+ y a) y) b) y)
29.0ms
(* (+ (* x y) z) y)

series581.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
416.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
61.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
53.0ms
(* (+ (* (+ y a) y) b) y)
51.0ms
(* (+ (* x y) z) y)

simplify14.8s

Counts
74 → 107
Calls
74 calls:
Slowest
1.1s
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
750.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
667.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
560.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)
559.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

18 alts after pruning (18 fresh and 0 done)

Merged error: 27.1b

localize88.0ms

Local error

Found 4 expressions with local error:

27.9b
(/ (+ (* (+ (* (+ (* (+ (* 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.3b
(cbrt (+ (* (+ y a) y) b))
17.3b
(cbrt (+ (* (+ y a) y) b))
17.3b
(cbrt (+ (* (+ y a) y) b))

rewrite478.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
440.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))
13.0ms
(cbrt (+ (* (+ y a) y) b))
13.0ms
(cbrt (+ (* (+ y a) y) b))
10.0ms
(cbrt (+ (* (+ y a) y) b))

series898.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
463.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))
169.0ms
(cbrt (+ (* (+ y a) y) b))
141.0ms
(cbrt (+ (* (+ y a) y) b))
127.0ms
(cbrt (+ (* (+ y a) y) b))

simplify12.8s

Counts
56 → 86
Calls
56 calls:
Slowest
835.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
782.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
636.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)))
490.0ms
(cbrt (+ (pow (* (+ y a) y) 3) (pow b 3)))
468.0ms
(cbrt (+ (pow (* (+ y a) y) 3) (pow b 3)))

prune2.1s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 27.0b

localize137.0ms

Local error

Found 4 expressions with local error:

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

rewrite428.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
632.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
589.0ms
(cbrt (* (+ (* x y) z) y))
196.0ms
(cbrt (* (+ (* x y) z) y))
178.0ms
(cbrt (* (+ (* x y) z) y))

simplify12.2s

Counts
50 → 80
Calls
50 calls:
Slowest
768.0ms
(+ (pow (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
594.0ms
(- (* (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y)) (* t t))
549.0ms
(/ (* (* (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (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)))
401.0ms
(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
357.0ms
(/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

prune2.0s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 27.0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite458.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
322.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
58.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
54.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
22.0ms
(* (+ (* x y) z) y)

series681.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
490.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
77.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
70.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
43.0ms
(* (+ (* x y) z) y)

simplify21.7s

Counts
101 → 131
Calls
101 calls:
Slowest
866.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))))
624.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
574.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 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
539.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
431.0ms
(* (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* 27464.7644705 27464.7644705)) y)

prune2.4s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 27.0b

regimes2.1s

Accuracy

0% (0.8b remaining)

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

bsearch7.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.6s8234×body80valid