Details

Time bar (total: 4.9m)

sample112.0ms

Algorithm
intervals
Results
78.0ms640×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5000
41716
3492
2161
153
019

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
0.1b
(* (* a a) (+ a 1.0))
0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.7b
(* (* b b) (- 1.0 (* 3.0 a)))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
15×pow1 add-exp-log
14×add-cbrt-cube
12×flip3-- associate-*l/ frac-sub flip--
10×add-sqr-sqrt *-un-lft-identity
9×add-log-exp
8×frac-add add-cube-cbrt
7×flip3-+ associate-*r* flip-+
6×pow-prod-down prod-exp cbrt-unprod
4×sub-neg
3×distribute-rgt-in pow-unpow unpow-prod-down distribute-lft-in diff-log
2×associate-*l* *-commutative associate--r+ unswap-sqr
1×pow-to-exp pow-pow pow-exp distribute-lft-out associate--r- sqr-pow
Counts
4 → 94
Calls
4 calls:
110.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
35.0ms
(* (* a a) (+ a 1.0))
8.0ms
(pow (+ (* a a) (* b b)) 2.0)
38.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

series458.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
61.0ms
(* (* a a) (+ a 1.0))
174.0ms
(pow (+ (* a a) (* b b)) 2.0)
72.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

simplify804.0ms

Counts
106 → 106
Iterations
IterNodes
done5001
1992
0271

prune700.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize135.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* b b) (- 1.0 (* 3.0 a)))
18.4b
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
18.4b
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
18.4b
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
12×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
9×pow1 unpow-prod-down add-cbrt-cube add-exp-log
4×add-log-exp
3×pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod sqr-pow
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- associate-*l* *-commutative flip-- unswap-sqr
Counts
4 → 70
Calls
4 calls:
41.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
22.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
23.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
23.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))

series701.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
185.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
188.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))
234.0ms
(cbrt (pow (+ (pow b 2) (* a a)) 2.0))

simplify905.0ms

Counts
82 → 82
Iterations
IterNodes
done5001
21426
1272
0109

prune695.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize173.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (+ (pow b 2) (* a a)) 2.0)
0.7b
(* (- 1.0 (* 3.0 a)) (pow b 2))
0.7b
(* (- 1.0 (* 3.0 a)) (pow b 2))
0.7b
(* (- 1.0 (* 3.0 a)) (pow b 2))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
24×associate-*r*
20×add-exp-log
15×unpow-prod-down *-un-lft-identity add-cube-cbrt
12×unswap-sqr
10×add-cbrt-cube
9×associate-*l* prod-exp
7×sqr-pow
6×associate-*l/ unpow2
5×pow1
4×pow-to-exp pow-exp add-log-exp
3×pow-unpow flip3-- *-commutative cbrt-unprod flip--
1×pow-pow
Counts
4 → 104
Calls
4 calls:
14.0ms
(pow (+ (pow b 2) (* a a)) 2.0)
18.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))
19.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))
18.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))

series376.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(pow (+ (pow b 2) (* a a)) 2.0)
72.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))
67.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))
96.0ms
(* (- 1.0 (* 3.0 a)) (pow b 2))

simplify664.0ms

Counts
116 → 116
Iterations
IterNodes
done5001
21268
1272
0109

prune1.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize195.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a)))
2.7b
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
4.8b
(- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))
15.3b
(/ (- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ (* 1.0 (- 1.0 a)) (* a a)) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))))

rewrite8.1s

Algorithm
rewrite-expression-head
Rules
30288×associate-*r/
28088×frac-times
22118×flip3-+ flip-+
14042×associate-*l/
10400×frac-sub
9992×frac-add
7350×flip3-- flip--
5206×associate-/l/
27×add-cbrt-cube add-exp-log
26×associate-/r/
19×add-sqr-sqrt
18×pow1
16×associate-*r*
12×prod-exp cbrt-unprod
10×*-un-lft-identity
9×pow-prod-down
8×distribute-rgt-in distribute-lft-in add-cube-cbrt sub-div difference-of-squares
6×add-log-exp sqr-pow
4×associate--l+
3×cbrt-undiv sub-neg times-frac div-exp associate-/l*
2×unpow-prod-down cube-prod associate-*l* *-commutative associate--r+
1×difference-cubes clear-num associate-/r* frac-2neg diff-log div-sub div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 10544
Calls
4 calls:
156.0ms
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a)))
85.0ms
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
946.0ms
(- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))
2.3s
(/ (- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ (* 1.0 (- 1.0 a)) (* a a)) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))))

series5.8s

Counts
4 → 12
Calls
4 calls:
117.0ms
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a)))
167.0ms
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
2.7s
(- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))
2.9s
(/ (- (* (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (+ (* 1.0 (- 1.0 a)) (* a a))) (* (* (* a a) (+ (pow 1.0 3) (pow a 3))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* 4.0 (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))) (* (* (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))) (+ (* 1.0 (- 1.0 a)) (* a a))) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)))) (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ (* 1.0 (- 1.0 a)) (* a a)) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0))))

simplify16.9s

Counts
10556 → 10556
Iterations
IterNodes
done27062
027062

prune4.2m

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes155.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done26
126
019

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.2s20149×body80valid